$\forall$$i$:$\mathbb{Z}$. $i$ = ($i$ $\ast$ 1)